Processing Knowledge to Support Knowledge-based Engineering Systems Specification
نویسندگان
چکیده
منابع مشابه
Processing Knowledge to Support Knowledge-based Engineering Systems Specification
During design phase, engineering activities typically involve large groups of people from different domains and disciplines. These differences often generate important information flows that are difficult to manage. To face these difficulties, a knowledge engineering process is necessary to structure the information and its use This article, presents a deployment of a knowledge capitalization p...
متن کاملProcessing Knowledge to Support Knowledge-based Engineering Systems Specification Concurrent Engineering: Research and Applications Processing Knowledge to Support Knowledge-based Engineering Systems Specification
During design phase, engineering activities typically involve large groups of people from different domains and disciplines. These differences often generate important information flows that are difficult to manage. To face these difficulties, a knowledge engineering process is necessary to structure the information and its use This article, presents a deployment of a knowledge capitalization p...
متن کاملRequirements Specification and Model-based Knowledge Engineering
Knowledge Engineering (KE) and Software Engineering (SE) have similar goals: developing methods, techniques, and tools for the building process of either knowledge based systems (kbs) or (complex) traditional software. Due to this kinship it seems obvious to analyse to which extent both areas, KE and SE, can benefit from each other. In this paper we want to argue from the KE point of view. The ...
متن کاملKnowledge-based Systems to Support Production Planning
Peter Bubeník, Filip Horák Original scientific paper Proposed concept of proactive manufacturing planning uses sets of knowledge to create plan. These sets of knowledge are gained from transformation of historical data of selected indicators. This concept uses the analysis of occurred events, which is done by applying data mining methods to known historical data. Results of analysis are then re...
متن کاملSpecification and Verification of Knowledge - Based Systems
The paper introduces a formal approach for the specification and verification of knowledge-based systems. We identify different elements of such a specification: a task definition, a problem-solving method, a domain model, an adapter, and assumptions that relate these elements. We present abstract data types and a variant of dynamic logic as formal means to specify these different elements. Bas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Concurrent Engineering
سال: 2008
ISSN: 1063-293X,1531-2003
DOI: 10.1177/1063293x07084642